Reasoning about space: The hole story

Reasoning about Space: the Hole Story

Reasoning about Space and Images

Much work in computer vision in the 70’s and 80’s aimed at the development of high-level vision, whereby the numerical processes feed a symbolic level of knowledge with which an agent is capable of interpreting the world. These early attempts were frustrated by the non-existence at the time of efficient algorithms for dealing with uncertainty, of tractable knowledge representation formalisms an...

Reasoning About Space: The Modal Way

We investigate the topological interpretation of modal logic in modern terms, using a new notion of bisimulation. We look at modal logics with interesting topological content, presenting, among others, a new proof of McKinsey and Tarski’s theorem on completeness of S4 with respect to the real line, and a completeness proof for the logic of finite unions of convex sets of reals. We conclude with...

View-Centric Reasoning about Space-Based Middleware

Distributed computing systems, including those that utilize space-based middleware, present significant challenges when attempting to reason formally about their behaviors and properties. In particular, two or more computational events may occur in parallel. We introduce View-Centric Reasoning (VCR)—a set of abstractions that comprises a general framework for reasoning about parallel and distri...

Qualitative Reasoning About Space and Motion

Bartlett, F. C . Remembering . Cambridge, Eng . : Cambridge University Press, 1932. Bresnan, J . A realistic transformational grammar. In M . Halle, J . Bresnan & G . A . Miller (Eds.), Linguistic Theory and Psychological Reality. Cambridge, Mass . : MIT Press, 1978 . Card, S. K ., Moran, T . P .,& Newell, A . Computer text-editing: An information processing analysis of a routine cognitive skil...